Buy Used and New Gary D . Hachtel Books

Results for Gary D . Hachtel

Showing 1 to 1 of 1 results
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) by Chao Wang, Gary D. Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

by Chao Wang, Gary D. Hachtel, Fabio Somenzi


ISBN 13: 9781489993953

Format: Paperback (196 pages)
Publisher: Springer
Published: 06 Dec 2014

Save for later

 
New : $110.46  
New : $110.46